科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:通过约束自动机在Reo中建模组件连接器
Arbab, F.; Baier, C.; Rutten, J.J.M.M.; Sirjani, M.;
机译:Buechi自动机,用于对组件连接器建模
机译:使用Reo和约束自动机进行集中协调与部分分布式协调
机译:用于实现组件连接器自动机规范的REO电路的合成
机译:基于自动机的模型计算字符串约束求解器,用于漏洞分析。
机译:JigCell模型连接器:从组件构建大型分子网络模型
机译:在计算机辅助设计(CAD)模型的组件之间添加约束
机译:灵活自动连接通用模型的部分模型的方法,包括提供接口输入和输出块,以及生成内部信号连接以进行体系结构组件之间的信号交换
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。